484f2cff7169cbd9b8b795d4c0a7f6c82f037d03,StgPlugin/src/org/workcraft/plugins/stg/serialisation/DotGSerialiser.java,DotGSerialiser,writeMarking,#Model#Collection#PrintWriter#,155
Before Change
if (p instanceof StgPlace) {
if (((StgPlace) p).isImplicit()) {
Node predNode = model.getPreset(p).iterator().next();
String predFlatName = NamespaceHelper.hierarchicalToFlatName(model.getNodeReference(predNode));
Node succNode = model.getPostset(p).iterator().next();
String succFlatName = NamespaceHelper.hierarchicalToFlatName(model.getNodeReference(succNode));
reference = "<" + predFlatName + "," + succFlatName + ">";
} else {
reference = NamespaceHelper.hierarchicalToFlatName(model.getNodeReference(p));
}
} else {
reference = NamespaceHelper.hierarchicalToFlatName(model.getNodeReference(p));
}
if (tokens == 1) {
markingEntries.add(reference);
} else if (tokens > 1) {
markingEntries.add(reference + "=" + tokens);
}
}
Collections.sort(markingEntries);
out.print(".marking {");
boolean first = true;
for (String m : markingEntries) {
if (!first) {
out.print(" ");
} else {
first = false;
}
out.print(m);
}
out.print("}\n");
StringBuilder capacity = new StringBuilder();
for (Place p : places) {
if (p instanceof StgPlace) {
StgPlace stgPlace = (StgPlace) p;
if (stgPlace.getCapacity() != 1) {
String flatName = NamespaceHelper.hierarchicalToFlatName(model.getNodeReference(p));
capacity.append(" " + flatName + "=" + stgPlace.getCapacity());
}
}
After Change
if (p instanceof StgPlace) {
if (((StgPlace) p).isImplicit()) {
Node predNode = model.getPreset(p).iterator().next();
String predRef = model.getNodeReference(predNode);
Node succNode = model.getPostset(p).iterator().next();
String succRef = model.getNodeReference(succNode);
reference = "<" + predRef + "," + succRef + ">";
} else {
reference = model.getNodeReference(p);
}
} else {
reference = model.getNodeReference(p);
}
if (tokens == 1) {
markingEntries.add(reference);
} else if (tokens > 1) {
markingEntries.add(reference + "=" + tokens);
}
}
Collections.sort(markingEntries);
out.print(".marking {");
boolean first = true;
for (String m : markingEntries) {
if (!first) {
out.print(" ");
} else {
first = false;
}
out.print(m);
}
out.print("}\n");
StringBuilder capacity = new StringBuilder();
for (Place p : places) {
if (p instanceof StgPlace) {
StgPlace stgPlace = (StgPlace) p;
if (stgPlace.getCapacity() != 1) {
String placeRef = model.getNodeReference(p);
capacity.append(" " + placeRef + "=" + stgPlace.getCapacity());
}
}